科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:交互式系统的模块化验证及其在生物学中的应用
Peter Drábik; Andrea Maggiolo-schettini; Paolo Milazzo;
机译:应用于分布式系统的拆除性的可解锁性的模块性
机译:将透明度验证转换为模块化系统中的非阻塞验证
机译:用于规范和验证交互式数据驱动的Web应用程序的系统
机译:用于逻辑控制的模块化有限状态机:理论,验证和可重构制造系统的应用。
机译:研究过程验证的工业方法论(IMPROVER):系统生物学验证
机译:分布式计算机系统,交互式类型客户端-服务器应用程序的验证方法和产品
机译:分布式计算机系统的验证方法和产品以及交互式客户端服务器应用
机译:用于交互式电视应用中的电子设备的远程控制的模块化电话接口系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。